Permutability of Rules for Linear Lattices
نویسنده
چکیده
The theory of linear lattices is presented as a system with multiple-conclusion rules. It is shown through the permutability of the rules that the system enjoys a subterm property: all terms in a derivation can be restricted to terms in the conclusion or in the assumptions. Decidability of derivability with the rules for linear lattices follows through the termination of proof-search.
منابع مشابه
Some Properties of Congruence Relations on Orthomodular Lattices
In this paper congruences on orthomodular lattices are studied with particular regard to analogies in Boolean algebras. For this reason the lattice of p-ideals (corresponding to the congruence lattice) and the interplay between congruence classes is investigated. From the results adduced there, congruence regularity, uniformity and permutability for orthomodular lattices can be derived easily.
متن کاملLocal Versions of some Congruence Properties in Single Algebras
We investigate some local versions of congruence permutability, regularity, uniformity and modularity. The results are applied to several examples including implication algebras, orthomodular lattices and relative pseudocomplemented lattices.
متن کاملSome results on $L$-complete lattices
The paper deals with special types of $L$-ordered sets, $L$-fuzzy complete lattices, and fuzzy directed complete posets.First, a theorem for constructing monotone maps is proved, a characterization for monotone maps on an $L$-fuzzy complete lattice is obtained, and it's proved that if $f$ is a monotone map on an $L$-fuzzy complete lattice $(P;e)$, then the least fixpoint of $f$ is meet of a spe...
متن کاملThe effect of material nonlinearity on the band gap for TE and TM modes in square and triangular lattices
In this article, by using the method of finite difference time domain (FDTD) and PML boundary conditions, we have studied the photonic band gaps for TE and TM modes in square and triangular lattices consisting of air holes in dielectric medium and compared the results. In addition, the effect of nonlinearity of the photonic crystal background on the photonic band gaps and comparison with the re...
متن کاملA contribution to automated-oriented reasoning about permutability of sequent calculi rules
Many important results in proof theory for sequent calculus (cut-elimination, completeness and other properties of search strategies, etc) are proved using permutations of sequent rules. The focus of this paper is on the development of systematic and automated-oriented techniques for the analysis of permutability in some sequent calculi. A representation of sequent calculi rules is discussed, w...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. UCS
دوره 11 شماره
صفحات -
تاریخ انتشار 2005